English linear logic: תרגום לשפות אחרות